Merge branch 'no-more-devel-headers' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Mon, 23 Nov 2020 19:01:44 +0000 (19:01 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Mon, 23 Nov 2020 19:01:44 +0000 (19:01 +0000)
Drop devel styling from our windows

See merge request GNOME/gtk!2882


Trivial merge